Abstract
In this paper, we study the regularity of the free boundaries of the parabolic double obstacle problem for the heat operator and fully nonlinear operator. The result in this paper are generalizations of the theory for the elliptic problem in Lee et al. (Calc Var Partial Differ Equ 58(3):104, 2019) and Lee and Park (The regularity theory for the double obstacle problem for fully nonlinear operator, , 2018) to parabolic case and also the theory for the parabolic single obstacle problem in Caffarelli et al. (J Am Math Soc 17(4):827–869, 2004) to double obstacle case. New difficulties in the theory which are generated by the characteristic of parabolic PDEs and the existence of the upper obstacle are discussed in detail. Furthermore, the thickness assumptions to have the regularity of the free boundary are carefully considered.
Similar content being viewed by others
References
Aleksanyan, G.: Analysis of blow-ups for the double obstacle problem in dimension two. Interfaces Free Bound. 21(2), 131–167 (2019)
Andersson, J., Lindgren, E., Shahgholian, H.: Optimal regularity for the no-sign obstacle problem. Commun. Pure Appl. Math. 66(2), 245–262 (2013)
Blank, I.: Sharp results for the regularity and stability of the free boundary in the obstacle problem. Indiana Univ. Math. J., 1077–1112 (2001)
Caffarelli, L.A.: The regularity of free boundaries in higher dimensions. Acta Math. 139, 155–184 (1977)
Caffarelli, L.A.: The obstacle problem revisited. J. Fourier Anal. Appl. 4(4), 383–402 (1998)
Caffarelli, L.A., Cabré, X.: Fully Nonlinear Elliptic Equations, vol. 43. American Mathematical Soc, Providence (1995)
Caffarelli, L.A., Karp, L., Shahgholian, H.: Regularity of a free boundary with application to the pompeiu problem. Ann. Math. 151(1), 269–292 (2000)
Caffarelli, L.A., Petrosyan, A., Shahgholian, H.: Regularity of a free boundary in parabolic potential theory. J. Am. Math. Soc. 17(4), 827–869 (2004)
Caffarelli, L.A., Ros-Oton, X., Serra, J.: Obstacle problems for integro-differential operators: regularity of solutions and free boundaries. Invent. Math. 208(3), 1155–1211 (2017)
Friedman, A.: Variational Principles and Free Boundary Problems. Dover Publications, New York (2010)
Figalli, A., Shahgholian, H.: A general class of free boundary problems for fully nonlinear elliptic equations. Arch. Ration. Mech. Anal. 213(1), 269–286 (2014)
Figalli, A., Shahgholian, H.: A general class of free boundary problems for fully nonlinear parabolic equations. Annali di Matematica 194(4), 1123–1134 (2015)
Indrei, E., Minne, A.: Non-transversal intersection of free and fixed boundary for fully nonlinear elliptic operators in two dimensions. Anal. PDE 9(2), 487–502 (2016)
Indrei, E., Minne, A.: Regularity of solutions to fully nonlinear elliptic and parabolic free boundary problems. Annales de l’Institut Henri Poincare (C) Non Linear Analysis 33(5), 1259–1277 (2016)
Indrei, E.: Boundary regularity and nontransversal intersection for the fully nonlinear obstacle problem. Commun. Pure Appl. Math. 72(7), 1459–1473 (2019)
Lee, Ki-Ahm: Obstacle problem for nonlinear 2nd-order elliptic operator. preprint (1997)
Lee, K.A., Park, J.: The regularity theory for the double obstacle problem for fully nonlinear operator (2018). arXiv preprint, arXiv:1805.02806
Lee, K.-A., Park, J., Shahgholian, H.: The regularity theory for the double obstacle problem. Calc. Var. Partial. Differ. Equ. 58(3), 104 (2019)
Moosavi, P., Reppen, M.: A review of the double obstacle problem. a degree project, KTH Stockholm (2011)
Park, J.: Properties of the free boundary near the fixed boundary of the double obstacle problems. preprint (2020)
Petrosyan, A., Shahgholian, H., Uraltseva, N.N.: Regularity of Free Boundaries in Obstacle-type Problems, vol. 136. American Mathematical Soc., Providence (2012)
Silvestre, L.: Regularity of the obstacle problem for a fractional power of the laplace operator. Commun. Pure Appl. Math. 60(1), 67–112 (2007)
Shahgholian, H., Uraltseva, N.: Regularity properties of a free boundary near contact points with the fixed boundary. Duke Math. J. 116(1), 1–34 (2003)
Uraltseva, N.N.: \(c^{1}\) regularity of the boundary of a noncoincident set in a problem with an obstacle. Algebra i Analiz 8(2), 205–221 (1996)
Uraltseva, N.N.: On some properties of the free boundary in a neighborhood of the points of contact with a given boundary. J. Math. Sci. 101(5), 3570–3576 (2000)
Wang, L.: On the regularity theory of fully nonlinear parabolic equations: I. Commun. Pure Appl. Math. 45(1), 27–76 (1992)
Wang, L.: On the regularity theory of fully nonlinear parabolic equations: II. Commun. Pure Appl. Math. 45(2), 141–178 (1992)
Weiss, G.S.: Self-similar blow-up and hausdorff dimension estimates for a class of parabolic free boundary problems. SIAM J. Math. Anal. 30(3), 623–644 (1999)
Acknowledgements
Ki-Ahm Lee has been supported by the National Research Foundation of Korea (NRF) grant funded by the Korean government (MSIP) (No. NRF-2020R1A2C1A01006256). Ki-Ahm Lee also holds a joint appointment with the Research Institute of Mathematics of Seoul National University.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Y. Giga.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Appendices
Appendix A: Appendices
In this appendix, we discuss the classification of the global solutions to the double obstacle problem in \(Q_1\) with \(0 \in \partial \Omega _u \cap \partial \Omega _u^\psi \), Proposition A.3. The proposition is used in the proof of the regularity for the free boundary of \(u \in P_r(M)\) ( e.g. Lemma 5.1) and \(u \in {\tilde{P}}_r(M)\). Furthermore, by Proposition A.3 and the methods for \(P_r(M)\) and \({\tilde{P}}_r(M)\), we could have the regularity of the free boundary of \(u \in {\tilde{P}}^+_\infty (M)\), see Definition A.1.
Frist, we define the solution spaces of the problem.
Definition A.1
(Local solutions) The class of local solutions \({\tilde{P}}^+_r(M)\) \((0<r<\infty )\) consists of all solutions u of
for open sets \(\Omega _u\) and \(\Omega ^\psi _u\) such that \(\Omega _{u} \supset \{u>0\}\) and \(\Omega ^{\psi }_{u} \supset \{u< \psi \}\), with
-
(i)
\(\Vert \partial _t u \Vert _{L^\infty (Q_r)}+\Vert D^2 u \Vert _{L^\infty (Q_r)} \le M\),
-
(ii)
\(0\in \partial \Omega _u \cap \partial \Omega ^\psi _u,\)
where \(f\in C^{0,1}_x\cap C^{0,1}_t(Q_r)\), \(\psi \in C^{1,1}_x \cap C^{0,1}_t(Q_r)\), and \(D\psi , \partial _t \psi \in C^{1,1}_x(\overline{\Omega _\psi )})\cap C^{0,1}_t(\overline{\Omega _\psi })\), for an open set \(\Omega _\psi \supset \{\psi >0\}\).
Definition A.2
(Global solutions) The class of global solutions \({\tilde{P}}^+_\infty (M)\) consists of all solutions u of
for open sets \(\Omega _u\) and \(\Omega ^\psi _u\) such that \(\Omega _{u} \supset \{u>0\}\), \(\Omega ^{\psi }_{u} \supset \{u< \psi \}\), and a constant \(a>1\) which satisfying:
-
(i)
\({\tilde{H}} \psi =a \chi _{\Omega (\psi )}\) in \({\mathbb {R}}^n\times {\mathbb {R}}\),
-
(ii)
\(\Vert \partial _t u \Vert _{L^\infty ({\mathbb {R}}^n \times {\mathbb {R}})}+\Vert D^2 u \Vert _{L^\infty ({\mathbb {R}}^n \times {\mathbb {R}})} \le M\),
-
(iii)
\(0\in \partial \Omega _u \cap \partial \Omega ^\psi _u.\)
As in the cases \(P_r(M)\) and \({\tilde{P}}_r(M)\), we first study the classification of the global solutions to the single obstacle problem:
where \(\Omega _u\) is an open set such that \(\Omega _u \supset \{u>0\}\) and then applying the method in Propositions 4.4 and 6.9 to the double obstacle problem, \(u\in {\tilde{P}}^+_\infty (M)\) to have the classification of global solution.
Theorem A.1
[8] Let u be a global solution of
where \(\Omega \supset \{u>0\}\). Then \(\partial _t u \le 0\) in \({\mathbb {R}}^n \times {\mathbb {R}}\).
Proposition A.2
Let u be a global solution of
where \(\Omega _u \supset \{u>0\}\). If we assume that
then
for an appropriate system of coordinates and a positive constant c.
Proof
Suppose that
Then, by the same argument as in Proposition 6.7, we have a global solution \(u_0\) of
where \(\Omega _{u_0}\) is an open set in \({\mathbb {R}}^n \times {\mathbb {R}}\) such that \(\{u_0>0\} \subset \Omega _{u_0}\) and \(\partial _t u_0 \equiv m\) in \(Q_1\) and there is a point \(({\tilde{y}}_0, {\tilde{s}}_0)\in \partial Q_1 \cap \partial \Lambda _0\), where \(\partial \Lambda _0\) is the boundary of \(\Lambda _0\) in \({\mathbb {R}}^n \times {\mathbb {R}}.\) Then,
where \(f(x):=u_0(x,1)\ge 0\). Moreover, \(\partial _t u_0 \equiv m\) in the connected component \({\tilde{\Omega }}(u_0)\) of \(Q_1\cup \Omega _{u_0}\) which containing \(Q_1\). Since \(\partial _t u_0 \equiv m\) in \(Q_1\), \(f=u_0(x,1) \ge 0\) and \(\{u_0>0\} \subset \Omega _{u_0}\), we know that \(u_0>0\) in \(Q_1\) and \(Q_1\cup \Omega _{u_0}=\Omega _{u_0}\).
For \(x\in B_1\), suppose that \(f(x)>0\). Then, there is a neighborhood \(Q_\epsilon (x,1)\) of (x, 1) such that \( Q_\epsilon (x,1) \subset {\tilde{\Omega }} (u_0)\subset \Omega _{u_0}\) and
By applying the argument repeatedly, we know that
and \(\left( x, 1+\frac{f(x)}{-m} \right) \in \partial {\tilde{\Omega }}(u_0)\). Then, the free boundary \(\partial {\tilde{\Omega }}(u_0)\) in \(B_1\times {\mathbb {R}}\) is represented by \(t(x)=1+f(x)/-m\). Since \(\nabla u_0=\nabla f(x)\) in \(\{(x,t) : t< t(x)\}\cap B_1 \times {\mathbb {R}}\), \(\nabla u_0=0\) on \(\{(x,t) : t< t(x)\}\cap B_1 \times {\mathbb {R}}\) and \(\nabla u_0\) is continuous in \({\mathbb {R}}^n \times {\mathbb {R}}\), we know that \(\nabla f(x) =0\) in \(B_1\). Hence
for a nonnegative constant \(c_0\). by the thickness assumption at \(\left( 0, 1+\frac{c_0}{-m} \right) \), we have a contradiction.
Therefore, u is time-independence and by the classification of global solution for elliptic single obstacle problem, u is of the form \(c(x_n^+)^2\). \(\square \)
Proposition A.2 implies that \(\partial _t u\) continuously vanishes on the free boundary \(\partial \{u=0\}\) for the solution u of the single obstacle problem, (44). By the directional monotonicity, e.g. Sect. 4 of this paper or [8, 12, 14], we have the regularity of the free boundary of the single obstacle problem, (44).
The class (44) is contained in the general classes in [12, 14] and the regularity of the free boundary near the free boundary point 0 of the solutions of (44) was obtained with stronger uniform thickness assumption than (28) in [12, 14], see the introduction of Sect. 6.3.
By Proposition A.2 and the method in Propositions 4.4 and 6.7, we have the classification of global solution in \({\tilde{P}}^+_\infty (M)\).
Proposition A.3
Let \(u\in {\tilde{P}}^+_\infty (M)\) and \(v:=\psi -u\) and assume that
and
Then,
for an appropriate system of coordinates and a positive constant c.
The property that \(\partial _t u\) continuously vanishes on the free boundary \(\partial \{u=0\}\) for the solution \(u\in {\tilde{P}}_1^+(M)\) is obtained, by the method in Propositions 4.4 and 6.7. Furthermore, the directional monotonicity for fully nonlinear operator implies the regularity of the free boundary. Since the method and statement of the proof are almost the same as those for \(u \in P_1(M)\) and \(u \in {\tilde{P}}_1(M)\), we omit the detail.
Rights and permissions
About this article
Cite this article
Lee, KA., Park, J. The regularity theory for the parabolic double obstacle problem. Math. Ann. 381, 685–728 (2021). https://doi.org/10.1007/s00208-020-02011-7
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-020-02011-7